<html>
<head><meta charset="utf-8"><title>Book and rules · t-compiler/wg-polonius · Zulip Chat Archive</title></head>
<h2>Stream: <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/index.html">t-compiler/wg-polonius</a></h2>
<h3>Topic: <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/Book.20and.20rules.html">Book and rules</a></h3>

<hr>

<base href="https://rust-lang.zulipchat.com">

<head><link href="https://rust-lang.github.io/zulip_archive/style.css" rel="stylesheet"></head>

<a name="247732389"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/Book%20and%20rules/near/247732389" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/Book.20and.20rules.html#247732389">(Jul 30 2021 at 16:39)</a>:</h4>
<p><span class="user-mention silent" data-user-id="116009">nikomatsakis</span> <a href="#narrow/stream/186049-t-compiler.2Fwg-polonius/topic/Higher-ranked.20errors/near/247731870">said</a>:</p>
<blockquote>
<p>also, I think that we should move those rules out from the hackmd and into the polonius book</p>
</blockquote>
<p>a lot of them are, added as part of <a href="https://github.com/rust-lang/polonius/pull/126">https://github.com/rust-lang/polonius/pull/126</a> but I think you only skimmed that one and didn't have time to look at it in detail, so I'm not sure whether it's acceptable.</p>



<a name="247732472"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/Book%20and%20rules/near/247732472" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/Book.20and.20rules.html#247732472">(Jul 30 2021 at 16:40)</a>:</h4>
<p>oh, ok</p>



<a name="247732494"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/Book%20and%20rules/near/247732494" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/Book.20and.20rules.html#247732494">(Jul 30 2021 at 16:40)</a>:</h4>
<p>I forgot</p>



<a name="247732497"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/Book%20and%20rules/near/247732497" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/Book.20and.20rules.html#247732497">(Jul 30 2021 at 16:40)</a>:</h4>
<p>we'll have to compare</p>



<a name="247732518"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/Book%20and%20rules/near/247732518" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/Book.20and.20rules.html#247732518">(Jul 30 2021 at 16:40)</a>:</h4>
<p><span class="user-mention silent" data-user-id="116009">nikomatsakis</span> <a href="#narrow/stream/186049-t-compiler.2Fwg-polonius/topic/Higher-ranked.20errors/near/247731781">said</a>:</p>
<blockquote>
<p>actually, <span class="user-mention silent" data-user-id="116113">lqd</span>, the approach your PR took, it's not "in sync" with <a href="https://hackmd.io/CGMNjt1hR_qYtsR9hgdGmw?view">the rules as documented</a>, correct?</p>
</blockquote>
<p>both the hackmd and the book refer to the placeholder loans approach</p>



<a name="247732545"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/Book%20and%20rules/near/247732545" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/Book.20and.20rules.html#247732545">(Jul 30 2021 at 16:40)</a>:</h4>
<p>I will update them don't worry</p>



<a name="247732664"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/Book%20and%20rules/near/247732664" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/Book.20and.20rules.html#247732664">(Jul 30 2021 at 16:41)</a>:</h4>
<p>(dylan also had some interesting book/rules/soufflé file automation to keep "everything" in sync :)</p>



<a name="247741695"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/Book%20and%20rules/near/247741695" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/Book.20and.20rules.html#247741695">(Jul 30 2021 at 17:58)</a>:</h4>
<p><span class="user-mention silent" data-user-id="116113">lqd</span> <a href="#narrow/stream/186049-t-compiler.2Fwg-polonius/topic/Book.20and.20rules/near/247732518">said</a>:</p>
<blockquote>
<p>both the hackmd and the book refer to the placeholder loans approach</p>
</blockquote>
<p>that was incorrect actually, the book has the rules we merged earlier today <a href="https://rust-lang.github.io/polonius/rules/loans.html#placeholder-subsets-and-illegal-subset-relations-errors">https://rust-lang.github.io/polonius/rules/loans.html#placeholder-subsets-and-illegal-subset-relations-errors</a></p>



<a name="247742133"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/Book%20and%20rules/near/247742133" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/Book.20and.20rules.html#247742133">(Jul 30 2021 at 18:01)</a>:</h4>
<p>(it's the LocIns paragraph that has the version using placeholder loans, but that's expected :) </p>
<p>I'm updating the hackmd in any case, but we should indeed move the content only available in the hackmd to the book</p>



<hr><p>Last updated: Aug 07 2021 at 22:04 UTC</p>
</html>